TAGs: Polynomial rules